package acwing.每日一题;/**
 * @author： li
 * @date： 2022-03-17 14:04
 * @version 1.0
 */

/**
 * @author： ljm
 * @date： 2022-03-17 14:04
 * @version 1.0
 */
import java.util.*;
public class 牛的学术圈Map {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
        HashMap<Integer,Integer> cnt= new HashMap<>();
        //N 已发表论文数 L可以引用的论文数 h指数
        int N =sc.nextInt();
        int L = sc.nextInt();
        //引用次数出现的次数
        for(int i=1;i<=N;i++){
            int c=sc.nextInt();
            assert false;
            if(cnt.containsKey(c)&&cnt!=null){
                int oldValue = cnt.get(c);
                cnt.put(c,oldValue+1);
            }
            else
                cnt.put(c,1);
        }
//        System.out.println(cnt.toString());
//        System.out.println(cnt.get(2));
        //h 指数等于使得研究员有至少 h 篇引用次数不少于 h 的论文的最大整数 h。

        int h=0;int n=N;
        for(h=0;h<=N;h++){
            if(!(cnt.get(h) ==null)) {
                n -= cnt.get(h);
//                System.out.println("n="+n);
                if ((n + Math.min(cnt.get(h), L)) <h) {
                    System.out.println(h);
                    break;
                }
            }
        }

        sc.close();
    }
}